loop termination
英 [luːp ˌtɜːmɪˈneɪʃn]
美 [luːp ˌtɜːrmɪˈneɪʃn]
网络 循环结束
双语例句
- The paper gives a model quasi-WHILE statement and its termination characteristics, introduces briefly the theory of least fixpoint, and discusses proof of the loop termination by combining with loop-like functions.
本文分析了循环终止性的特点，给出了实WHILE语句模型，简要地叙述了最小不动点理论，并结合到实循环函数上讨论了终止性的证明。 - An approach of least fixpoint to the proof of loop termination
关于循环终止性证明的一种最小不动点方法